MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 22:40:53 GMT
Content-Type: text/html
Content-Length: 4053
Last-Modified: Thursday, 21-Nov-96 17:08:24 GMT

<HEAD>
<TITLE>CS611:  Homework Assignments</TITLE>
</HEAD>
<BODY>
<h1> <!WA0><!WA0><!WA0><!WA0><img align=center src="http://www.cs.cornell.edu/Info/Courses/Current/CS611/lambdahead.gif">CS611:  Semantics of Programming Languages</h1>

<h2>Homeworks:</h2>
<ul>
<li> <!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/writeup.dvi">Homework 0</a> (dvi file)
<ul>
<li> To solve this homework you need some ML definitions found in 
     (the misnamed) <!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/hw1defs.sml">hw1defs.sml</a>.
     The ML examples from class are also available in 
     <!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/examples.sml">examples.sml</a>, as well as a 
     <!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/writeup.ps">PostScript version</a> of the homework.
<li> There is now a <!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/sol.sml">solution</a> online, as well
     as some <!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/test.sml">tests</a>.
</ul>
<li> <!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/writeup.dvi">Homework 1</a> (dvi file)
<ul>
<li> The second homework.  This one features proofs as well as ML hacking.
     There is also a <!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/writeup.ps">PostScript version</a> 
     of the assignment writeup.
<li> There is now an <!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/sol.sml">ML solution</a> online, as well
     as <!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/sol.dvi">solutions (dvi)</a> to the proofs (also
     available in <!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/sol.ps">PostScript</a>).
<li> <b>NOTE:</b> The <!WA12><!WA12><!WA12><!WA12><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/test.sml">test cases</a> used to grade
     your solutions are also online.
</ul>
<li> <!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/writeup.dvi">Homework 2</a> (dvi file)
<ul>
<li> The third homework.  Proofs and ML hacking again, now with types!
     There is also a <!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/writeup.ps">PostScript version</a>. 
<li> There is now a <!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/sol.dvi">solution (dvi)</a> to the proofs 
     online (also available in <!WA16><!WA16><!WA16><!WA16><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/sol.ps">PostScript</a>).
<li> There is also an <!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/sol.sml">ML solution</a> to the programming
     part online.
<li> Finally there is a <!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/parse.sml">parser and evaluator</a> based
     on the solution online.  The <!WA19><!WA19><!WA19><!WA19><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/calc.lex">ML-Lex</a> and 
     <!WA20><!WA20><!WA20><!WA20><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/calc.grm">ML-Yacc</a> parser source is available for those
     interested.
</ul>
<li> <!WA21><!WA21><!WA21><!WA21><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw3/writeup.dvi">Homework 3</a> (dvi file)
<ul>
<li> The fourth homework.  Now it's only proofs, all exercises from Gunter.
     There is also a <!WA22><!WA22><!WA22><!WA22><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw3/writeup.ps">PostScript version</a>. 
<li> There is now a <!WA23><!WA23><!WA23><!WA23><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw3/sol.dvi">solution (dvi)</a> 
     online (also available in <!WA24><!WA24><!WA24><!WA24><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw3/sol.ps">PostScript</a>).
</ul>
<li> <!WA25><!WA25><!WA25><!WA25><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/writeup.dvi">Homework 4</a> (dvi file)
<ul>
<li> The fifth homework.  Implementing the polymorphic lambda calculus, and
     a lemma showing the soundness of the predicative model with respect to
     type-beta reduction.
<li> For those who don't want to type in the example code there is a 
     <!WA26><!WA26><!WA26><!WA26><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/writeup.txt">text-only version</a> of the homework.
<li> There is now an <!WA27><!WA27><!WA27><!WA27><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/sol.sml">ML solution</a> online, as well
     as the <!WA28><!WA28><!WA28><!WA28><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/test.sml">test cases</a> used to grade your
     submissions.
<li> There is now a proof <!WA29><!WA29><!WA29><!WA29><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/sol.dvi">solution (dvi)</a> 
     online (also available in <!WA30><!WA30><!WA30><!WA30><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/sol.ps">PostScript</a>).
</ul>
<li> <!WA31><!WA31><!WA31><!WA31><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/writeup.dvi">Homework 5</a> (dvi file)
<ul>
<li> The sixth homework.  Implementations and proofs of unification and
     type inference.
     There is also a <!WA32><!WA32><!WA32><!WA32><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/writeup.ps">PostScript version</a>. 
<li> For those who don't want to type in the example code there is a 
     <!WA33><!WA33><!WA33><!WA33><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/writeup.txt">text-only version</a> of the homework.
<li> The <!WA34><!WA34><!WA34><!WA34><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/sol.sml">ML solution</a> is online, as well
     as the <!WA35><!WA35><!WA35><!WA35><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/test.sml">test cases</a>.
<li> The <!WA36><!WA36><!WA36><!WA36><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/sol.dvi">solution (dvi)</a> to the proofs is
     online (also in <!WA37><!WA37><!WA37><!WA37><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/sol.ps">PostScript</a>).
</ul>
<li> <!WA38><!WA38><!WA38><!WA38><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw6/writeup.dvi">Homework 6</a> (dvi file)
<ul>
<li> The seventh homework.  Proofs on posets, cpos, continuous functions etc.
     There is also a <!WA39><!WA39><!WA39><!WA39><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw6/writeup.ps">PostScript version</a>. 
</ul>
<li> <!WA40><!WA40><!WA40><!WA40><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw7/writeup.ps">Assignment 0</a> (PostScript)
<ul>
<li> The eight homework.  Programming exercises and axiomatic semantics 
     exercises and proofs.
</ul>
</ul>

<p>
Back to the <!WA41><!WA41><!WA41><!WA41><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/home.html">CS611 homepage.</a>

</BODY>

